- abstract interpretation
- мат.абстрактная интерпретация
English-Russian scientific dictionary. 2008.
abstract interpretation
Смотреть что такое "abstract interpretation" в других словарях:
Abstract interpretation — In computer science, abstract interpretation is a theory of sound approximation of the semantics of computer programs, based on monotonic functions over ordered sets, especially lattices. It can be viewed as a partial execution of a computer… … Wikipedia
Interpretation — Distinguish from interpenetration. Interpreter, interpreting, interpretation can mean:The term interpretation may refer to: *Formal interpretation an abstract model. * Logical interpretation the assignment of meaning to the symbols used in formal … Wikipedia
Abstract management — is the process of accepting and preparing abstracts for presentation at an academic conference. The process consists of either invited or proffered submissions of the abstract or summary of work. The abstract typically states the hypothesis,… … Wikipedia
Interpretation of quantum mechanics — An interpretation of quantum mechanics is a statement which attempts to explain how quantum mechanics informs our understanding of nature. Although quantum mechanics has received thorough experimental testing, many of these experiments are open… … Wikipedia
Abstract expressionism — Although the term abstract expressionism was first applied to American art in 1946 by the art critic Robert Coates, it had been first used in Germany in 1919 in the magazine Der Sturm , regarding German Expressionism. In the USA, Alfred Barr was… … Wikipedia
Abstract labour and concrete labour — Part of a series on Marxism … Wikipedia
INTERPRETATION — This article is arranged according to the following outline: definition of terms bible exegesis substance of bible exegesis in jewish creative interpretation and integrative interpretation … Encyclopedia of Judaism
Interpretation (logic) — An interpretation is an assignment of meaning to the symbols of a formal language. Many formal languages used in mathematics, logic, and theoretical computer science are defined in solely syntactic terms, and as such do not have any meaning until … Wikipedia
Abstract structure — An abstract structure in mathematics is a formal object that is defined by a set of laws, properties, and relationships in a way that is logically if not always historically independent of the structure of contingent experiences, for example,… … Wikipedia
Abstract — Ein Abstract ist eine prägnante Inhaltsangabe, ein Abriss ohne Interpretation und Wertung einer wissenschaftlichen Arbeit. In DIN 1426 wird das (oder auch der) Abstract als Kurzreferat zur Inhaltsangabe beschrieben. Die Definition des American… … Deutsch Wikipedia
Abstract State Machine — Eine abstrakte Zustandsmaschine (englisch Abstract State Machine (ASM), ehemals auch Evolving Algebra (EVA) genannt), ist in der Informatik ein Modell zur formalen, operationellen Beschreibung von Algorithmen. Anders als bei endlichen Automaten,… … Deutsch Wikipedia
